Logical graphs